A Hierarchy of Local Decision
نویسندگان
چکیده
We extend the notion of distributed decision in the framework of distributed network computing, inspired by recent results on so-called distributed graph automata. We show that, by using distributed decision mechanisms based on the interaction between a prover and a disprover, the size of the certificates distributed to the nodes for certifying a given network property can be drastically reduced. For instance, we prove that minimum spanning tree can be certified with O(logn)-bit certificates in n-node graphs, with just one interaction between the prover and the disprover, while it is known that certifying MST requires Ω(log2 n)-bit certificates if only the prover can act. The improvement can even be exponential for some simple graph properties. For instance, it is known that certifying the existence of a nontrivial automorphism requires Ω(n2) bits if only the prover can act. We show that there is a protocol with two interactions between the prover and the disprover enabling to certify nontrivial automorphism with O(logn)bit certificates. These results are achieved by defining and analysing a local hierarchy of decision which generalizes the classical notions of proof-labelling schemes and locally checkable proofs. 1998 ACM Subject Classification D.1.3 Concurrent Programming (Distributed programming), F.2.2 Nonnumerical Algorithms and Problems
منابع مشابه
Making Decision Support System for Utilization of Biogas in Iran
The use of renewable energy sources is often suggested to be a good solution for climate change and the dependency to fossil fuel. Biogas utilization is a one of these promising options that can mitigate these problems since biogas is produced by the fermentation of waste, so is rich in methane and has the same characteristics as natural gas. Biogas has increasingly been noticed in different co...
متن کاملSelection of chromite processing plant site using fuzzy analytic hierarchy process (FAHP)
Based on existence of the chromite deposits in the Sistan and Baluchestan province in Iran, and also various applications of chromite in different industries, it is expected that the establishment of chromite processing plant is required in the erelong. The geographical location of a processing plant can have a strong influence on the success of an industrial venture. The processing plant site ...
متن کاملAssessment and Prioritizing the Risks of Urban Rail Transportation by Using Grey Analytical Hierarchy Process (GAHP)
Some incidents in urban railway systems affect the function of the subway’s company adversely and they could disorder the services. These events may inflict irreparable damage to passengers, employees and equipment. By recognizing the hazards existing in this type of transportation system and evaluating and prioritizing risks, we can perform appropriate actions to reduce the probability and sev...
متن کاملNeutrosophic-Cubic Analaytic Hierarchy Process with Applications
In this paper we extend fuzzy analytic hierarchy process into neutrosophic cubic environment. The neutrosophic cubic analytic hierarchy process can be used to manage more complex problems when the decision makers has a number of uncertainty, assigning preferences values to the considered object. We also define the concept of triangular neutrosophic cubic numbers and their operations laws. The a...
متن کاملApplication of multi-criteria decision making to estimate the potential of flooding
Integrating a geographic information system and multi-criteria decision making methods have been lead to provide spatial multi-criteria decision making methods. In this study, the spatial potential of flooding was determined based on analytic network process and analytic hierarchy process. At first, six factors of flooding were determined as criteria. The criteria were the slope, hill-slope asp...
متن کاملمکان یابی مناسب ترین محل دفن زباله های جامد شهر یاسوج با روش تحلیل چند معیاره
Background and aims: In most multi criteria decision making issues, a desirable alternative which suit all aspects does not exist. In current assessment methods, after considering all criteria, the advantages and disadvantages of the best alternative remain imperceptible. The objective of this study was to present a simple approach for such decision making cases. Methods: The approach was app...
متن کامل